Systematic judgment aggregators: An algebraic connection between social and logical structure
نویسندگان
چکیده
We present several results that show that systematic (complete) judgment aggregators can be viewed as both (2-valued) Boolean homomorphisms and as syntatic versions of reduced (ultra)products. Thereby, Arrovian judgment aggregators link the Boolean algebraic structures of (i) the set of coalitions (ii) the agenda, and (iii) the set of truth values of collective judgments. Since filters arise naturally in the context of Boolean algebras, these findings provide an explanation for the extraordinary effectiveness of the filter method in abstract aggregation theory.
منابع مشابه
An Abstract Algebraic Logic View on Judgment Aggregation
In the present paper, we propose Abstract Algebraic Logic (AAL) as a general logical framework for Judgment Aggregation. Our main contribution is a generalization of Herzberg’s algebraic approach to characterization results in on judgment aggregation and propositionalattitude aggregation, characterizing certain Arrovian classes of aggregators as Boolean algebra and MV-algebra homomorphisms, res...
متن کاملAlgebraic Logic view on Judgment Aggregation ?
In the present paper, we propose Abstract Algebraic Logic (AAL) as a general logical framework for Judgment Aggregation. Our main contribution is a generalization of Herzberg’s algebraic approach to characterization results on judgment aggregation and propositionalattitude aggregation, characterizing certain Arrovian classes of aggregators as Boolean algebra and MV-algebra homomorphisms, respec...
متن کاملJudgment Aggregators and Boolean Algebra Homomorphisms
The theory of Boolean algebras can be fruitfully applied to judgment aggregation: Assuming universality, systematicity and a sufficiently rich agenda, there is a correspondence between (i) non-trivial deductively closed judgment aggregators and (ii) Boolean algebra homomorphisms defined on the power-set algebra of the electorate. Furthermore, there is a correspondence between (i) consistent com...
متن کاملAggregation of binary evaluations for truth-functional agendas
In the problem of judgment aggregation, a panel of judges has to evaluate each proposition in a given agenda as true or false, based on their individual evaluations and subject to the constraint of logical consistency. We elaborate on the relation between this and the problem of aggregating abstract binary evaluations. For the special case of truth-functional agendas we have the following main ...
متن کاملA new branch of the logical algebra: UP-algebras
In this paper, we introduce a new algebraic structure, called a UP-algebra (UP means the University of Phayao) and a concept of UP-ideals, UP-subalgebras, congruences and UP-homomorphisms in UP-algebras, and investigated some related properties of them. We also describe connections between UP-ideals, UP-subalgebras, congruences and UP-homomorphisms, and show that the notion of UP-algebras is a ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009